Dynamic data flow analysis for Java programs
نویسندگان
چکیده
A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data ̄ow aspects of programs should be considered. In this paper, we consider testing the data ̄ow in Java programs dynamically. Data ̄ow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data ̄ow analysis technique to test Java programs and show how it can be applied to detect data ̄ow anomalies. q 2000 Elsevier Science B.V. All rights reserved.
منابع مشابه
Dynamic Information Flow Analysis and Dynamic Slicing (Extended Version)
Information flow analysis is concerned with validating the security of information flows between objects in a program and between the program and the outside world. This paper presents a practical approach to dynamic information flow analysis that can be used in software testing or intrusion detection and that facilitates debugging of insecure flows. The proposed approach provides capabilities ...
متن کاملAnalysis and Testing of Programs with Exception Handling Constructs
Analysis techniques, such as control flow, data flow, and control dependence, are used for a variety of software-engineering tasks, including structural and regression testing, dynamic execution profiling, static and dynamic slicing, and program understanding. To be applicable to programs in languages, such as Java and C++, these analysis techniques must account for the effects of exception occ...
متن کاملMini Project Report One
The Java Architecture for Bytecode Analysis (JABA) of the Aristotle Research Group at Georgia Tech provides static analysis of Java programs. Besides others, JABA uses algorithms that determine inter-procedural control flow caused by exceptions [3]. This means that JABA determines for each throw statement of the program the methods visited on the way to the finally statement or catch statement ...
متن کاملA Generic Framework for the Cost Analysis of Java Bytecode∗
Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic dispatching). This paper addresses these problems and develops a generic framework for the automatic cost analysis of sequential Java bytecode. Our method generates cost relations which define at compile-time the cost of programs ...
متن کاملIntrusion Detection Based On Dynamic Information Flow Analysis
This paper presents a new approach to detecting intrusions against application software, whose primary goal is facilitating identification and repair of security vulnerabilities rather than permitting online response to attacks. The approach employs fine-grained dynamic information flow analysis in conjunction with policy enforcement, signature matching, and anomaly detection. Program execution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Information & Software Technology
دوره 42 شماره
صفحات -
تاریخ انتشار 2000